Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
191	Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:29:52 Mathematical logic Theoretical computer science Formal methods Logic Logic in computer science Hardware verification languages Model checking Formal verification E Gmail Aspect-oriented software development Propositional calculus
192	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
193	Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers Clark Barrett Christopher L. Conway Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 16:21:50 Theoretical computer science Formal methods Logic in computer science Constraint programming Electronic design automation NP-complete problems Satisfiability modulo theories Solver SMT Uninterpreted function Model checking Alt-Ergo
194	5th International Conference on Hands-on Science Formal and Informal Science Education © 2008 HSci. ISBN5 Lublin (Poland), M. Curie-Sklodovska University press, , I. Vaculova, J. Trna, Add to Reading List Source URL: www.ifi.unicamp.br Language: English - Date: 2009-01-28 08:45:26 Geometry Buoyancy Physics Force On the Equilibrium of Planes Lever Archimedes Torque Weighing scale Triangle Mathematics Laws of science
195	Microsoft Word - p-medicine_270089_D4.5_Ontology Aggregator Tool.docx Add to Reading List Source URL: p-medicine.eu Language: English - Date: 2014-02-03 03:31:46 Ontology Knowledge representation Information science Technical communication Semantic Web Information Computing Upper ontology Semantic interoperability Formal ontology OBO Foundry Frame language
196	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic
197	Work in Progress Session T4F USE OF VISUAL TOOLS IN DISTANCE TEACHING OF COMPUTATIONAL MODELS Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:56:41 Formal languages Combinatorics Mathematics Automata theory Visualization Theoretical computer science Science Scientific modelling Regular expression Finite-state machine
198	Function, Role, and Disposition in Basic Formal Ontology Robert Arp* and Barry Smith Nature Precedings : hdl:10101/npre : Posted 2 JunNational Center for Biomedical Ontology (NCBO) and New York State C Add to Reading List Source URL: precedings.nature.com Language: English Ontology Philosophy Metaphysics Information science Knowledge representation Technical communication Information Basic Formal Ontology Upper ontology Formal ontology OBO Foundry Barry Smith
199	Package ‘ggmcmc’ June 28, 2016 Title Tools for Analyzing MCMC Simulations from Bayesian Inference Description Tools for assessing and diagnosing convergence of Markov Chain Monte Carlo simulations, as well as for gra Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2016-06-28 17:48:22 Markov models Statistics Bayesian statistics Subroutines Formal sciences Knowledge Markov chain Monte Carlo Parameter Markov chain Science and technology
200	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:53:13 Software engineering Formal methods Theoretical computer science Automated theorem proving Computing Loop invariant Mathematical proof Rippling Extended static checking Recurrence relation Automated reasoning Invariant

UPDATE